package main

import (
	"fmt"
	"regexp"
)
const ROBOT_PHONE_REG = "^867880\\d{7}$"

func main() {
	match, _ := regexp.MatchString(ROBOT_PHONE_REG, "8678800003001")
	fmt.Println(match)
}
